%Por Lea y Laski
\begin{problema}{posicionEnT}{t: Trivia, u: Usuario}{\ent}
	\requiere {u \in participantes(t)}
	\medskip
	\asegura{result == auxPosicionEnT(t,u)}
\end{problema}


\begin{aux}{auxPoscionEnT}{t:Trivia, u:Usuario}{\ent}{\\
 	if (u \in ganadores(t)) then (cab (\comp{i}{i \selec [0.. \longitud{ganadores(t)}),ganadores(t)_i==u})\\
 	else (\longitud{ganadores(t)} + \\
	\longitud{\comp{p}{p\selec participantes(t),p \not\in ganadores(t), puntajeAcumulado(p) > puntajeAcumulado(u))}
	})
}
\end{aux}

% Aprobado por Lea Domingo 25 septiembre
